Some Results on a Game-Semantic Approach to Verifying Finitely-Presentable Infinite Structures (Extended Abstract).

C.-H. Luke Ong Some Results on a Game-Semantic Approach to Verifying Finitely-Presentable Infinite Structures (Extended Abstract). 31-40 2006 conf/csl/2006 CSL http://dx.doi.org/10.1007/11874683_2 db/conf/csl/csl2006.html#Ong06