1999], Resolution-Based Decisison Procedures for Subclasses of First-Order Logic (0)

by U Hustadt
Venue:PhD thesis, Fachbereich Informatik, Universit"at des Saarlandes