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