Antonín Kućera
-
Equivalence-checking on infinite-state systems: Techniques and results
Theory and Practice of Logic Programming