Extended projection method in proofs-as-programs - Takayama, Yukihide (1988)