Oriented equational logic programming is complete
scientific article; zbMATH DE number 1014245