Hyperresolition for Guarded Formulae

Lilia Georgieva, R Schmidt, U Hustadt

Research output: Contribution to journalArticle

Original languageEnglish
Pages (from-to)1-2
Number of pages2
JournalJournal of Symbolic Computation
Volume36
Publication statusPublished - 2003

Cite this