Open menu
Manuel Hermenegildo,Jacques Garrigue
Functional and Logic Programming