Journal title
Computer science logic
DOI
10.1007/978-3-540-87531-4_25
Volume
5213
Last updated
2021-10-19T13:19:29.85+01:00
Page
339-353
Symplectic ID
208487
Submitted to ORA
Off
Favourite
On
Publication type
Chapter
Publication date
2008