Aufray, Y. and P. Enjalbert. Modal theorem proving: an equational viewpoint. To appear in Journal of Logic and Computation, 1992.

Languages mentioned

• Pathlog {1992}