Modal theorem proving: An equational viewpoint (1992)

by Y Auffray, P Enjalbert
Venue:Journal of Logic and Computation