TY - RPRT TI - (Co)recursion in Logic Programming: Lazy vs Eager AU - Jónathan Heras AU - Ekaterina Komendantskaya AU - Martin Schmidt PY - 2014 UR - https://arxiv.org/abs/1402.3690 ID - 1402.3690 ER -