Proof Planning Coinduction (1999)

by L A Dennis