Notes on View Synchronization using Default Logic