2 works on record
Grundlagen des maschinellen Beweisens
Termination proofs and derivation lengths in term rewriting systems