A Theorem Prover for Action Performance. - Emmanuel Lafon; Camilla Schwind (ECAI, 1988)