A Constraint Logic Approach to Modal Deduction

Alan M. Frisch, Richard B. Scherl. A Constraint Logic Approach to Modal Deduction. In Jan van Eijck, editor, Logics in AI, European Workshop, JELIA 90, Amsterdam, The Netherlands, September 10-14, 1990, Proceedings. Volume 478 of Lecture Notes in Computer Science, pages 234-250, Springer, 1990.

Authors

Alan M. Frisch

This author has not been identified. Look up 'Alan M. Frisch' in Google

Richard B. Scherl

This author has not been identified. Look up 'Richard B. Scherl' in Google