Destructive Rule-Based Properties and First-Order Logic.

David Duris

Browse the full SOFSEM paper archive.