OUCL
news
admissions
research
teaching
people
calendar
resources
vacancies
studentships
login
OXFORD UNIVERSITY COMPUTING LABORATORY
Anuj Dawar, Erich Grädel and Stephan Kreutzer
journal
ACM Transactions on Computational Logic (TOCL
number
2
pages
282 - 315
volume
5
year
2004
BibTeX
Stephan Kreutzer
