adbmal

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

Research output: Contribution to Journal › Article › Academic › peer-review

Original language	English
Pages (from-to)	136-150
Journal	Lecture Notes in Computer Science
Volume	2741
Publication status	Published - 2003

Proceedings title: Conference on Automated Deduction

Persistent URL (handle)

@article{3b3d40430125434c8095603bd62f7fd0,

title = "adbmal",

author = "R.D.A. Hendriks and \{van Oostrom\}, V.",

note = "Proceedings title: Conference on Automated Deduction",

year = "2003",

language = "English",

volume = "2741",

pages = "136--150",

journal = "Lecture Notes in Computer Science",

issn = "0302-9743",

publisher = "Springer Science and Business Media Deutschland GmbH",

}