David Duris: Destructive Rule-Based Properties and First-Order Logic. SOFSEM 2010: 334-345