Observational Logic1998-01-010 PRE AI DOI:10.1007/3-540-49253-4_20OriginalOriginal request for helpShareSaveAbstract En