Hiu Fai Chau. A Proof Search System for a Modal Substructural Logic Based on Labelled Deductive Systems. In Andrei Voronkov, editor, Logic Programming and Automated Reasoning,4th International Conference, LPAR 93, St. Petersburg, Russia, July 13-20, 1993, Proceedings. Volume 698 of Lecture Notes in Computer Science, pages 65-75, Springer, 1993.
@inproceedings{Chau93:1, title = {A Proof Search System for a Modal Substructural Logic Based on Labelled Deductive Systems}, author = {Hiu Fai Chau}, year = {1993}, tags = {rule-based, modal logic, logic, search}, researchr = {https://researchr.org/publication/Chau93%3A1}, cites = {0}, citedby = {0}, pages = {65-75}, booktitle = {Logic Programming and Automated Reasoning,4th International Conference, LPAR 93, St. Petersburg, Russia, July 13-20, 1993, Proceedings}, editor = {Andrei Voronkov}, volume = {698}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-56944-8}, }