Horn clause specifications: reduction and narrowing - Padawitz, Peter (1986)