EasyChair Smart Slide
From Logic to Functional Logic Programs
From Logic to Functional Logic Programs