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

Hendriks, R. D. A., & van Oostrom, V. (2003). adbmal. Lecture Notes in Computer Science, 2741, 136-150.