A predicate calculus with control of derivations - Mey, Daniel (1989)