Constructive failure in functional-logic programming: From theory to implementation

ISSN: 0958-695X,  0948-6968

Year of publication: 2006

Volume: 12

Issue: 11

Pages: 1574-1593

Type: Conference paper