"Proving Behavioural Theorems with Standard First-Order Logic."

Michel Bidoit, Rolf Hennicker (1994)
a service of Schloss Dagstuhl - Leibniz Center for Informatics