"Functional Plus Logic Programming with Built-In and Symbolic Constraints."

Puri Arenas-Sánchez, Francisco Javier López-Fraguas, Mario Rodrúguez-Arteljo (1999)
a service of Schloss Dagstuhl - Leibniz Center for Informatics