Journal title
Computer science logic
DOI
10.1007/978-3-540-87531-4_25
Volume
5213
Last updated
2024-02-18T07:32:59.553+00:00
Page
339-353
Symplectic ID
208487
Submitted to ORA
Off
Favourite
On
Publication type
Chapter
Publication date
2008