adbmal

R.D.A. Hendriks, V. van Oostrom

Research output: Contribution to JournalArticleAcademicpeer-review

Original languageEnglish
Pages (from-to)136-150
JournalLecture Notes in Computer Science
Volume2741
Publication statusPublished - 2003

Bibliographical note

Proceedings title: Conference on Automated Deduction

Cite this