Filtering Unification and Most General Unifiers in Modal Logic
Silvio Ghilardi and Lorenzo SacchettiVolume:
69
Language:
english
Journal:
The Journal of Symbolic Logic
DOI:
10.2307/30041764
Date:
September, 2004
File:
PDF, 2.89 MB
english, 2004