Journal title
Computer science logic
DOI
10.1007/978-3-540-87531-4_25
Volume
5213
Last updated
2024-09-13T18:33:37.167+01:00
Page
339-353
Symplectic ID
208487
Submitted to ORA
Off
Favourite
On
Publication type
Chapter
Publication date
2008