An Application of Model Building in a Resolution Decision Procedure for Guarded Formulas
Book chapter published in 2000 by
Michael Dierkes
This paper was not found in any repository, but could be made available legally by the author.
Full text: Unavailable
Published version:
archiving forbidden
Data provided by 