Joost Breuker Nienke den Haan Separating World and Regulation Knowledge: Where is the Logic. 92-97 1991 ICAIL http://doi.acm.org/10.1145/112646.112658 db/conf/icail/icail91.html#BreukerH91