A circumscriptive calculus of events
scientific article; zbMATH DE number 1863791
scientific article