EasyChair Smart Slide
TWAM: A Certifying Abstract Machine for Logic Programs
TWAM: A Certifying Abstract Machine for Logic Programs