Computer Science Logic CSL'92