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.
@inproceedings{FrischS90,
title = {A Constraint Logic Approach to Modal Deduction},
author = {Alan M. Frisch and Richard B. Scherl},
year = {1990},
tags = {modal logic, constraints, logic, systematic-approach},
researchr = {https://researchr.org/publication/FrischS90},
cites = {0},
citedby = {0},
pages = {234-250},
booktitle = {Logics in AI, European Workshop, JELIA 90, Amsterdam, The Netherlands, September 10-14, 1990, Proceedings},
editor = {Jan van Eijck},
volume = {478},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-53686-8},
}