Unification in Boolean Rings an Unquantified Formulae of First Order Predicate Calculus

Ursula Martin

Research output: Other contribution

Original languageEnglish
PublisherUniversity of Manchester. Department of Computer Science
Publication statusPublished - 1986

Cite this