Proof technology and computation - Schwichtenberg, Helmut; Spies, Katharina (NATO science series. Series III, Computer and systems sciences; ;, 2006)