Writing Declarative Specifications for Clauses.

Martin Gebser, Tomi Janhunen, Roland Kaminski, Torsten Schaub, Shahab Tasharrofi

Browse the full JELIA paper archive.