Filtering unification and most general unifiers in modal logic
Ghilardi, Silvio, Sacchetti, LorenzoVolume:
69
Language:
english
Journal:
The Journal of Symbolic Logic
DOI:
10.2178/jsl/1096901773
Date:
September, 2004
File:
PDF, 1.71 MB
english, 2004