1. Tabling, Rational Terms, and Coinduction Finally Together!. Issue 4 (21st July 2014) Authors: MANTADELIS, THEOFRASTOS; ROCHA, RICARDO; MOURA, PAULO; Leuschel, Michael; Schrijvers, Tom Journal: Theory and practice of logic programming Issue: Volume 14:Issue 4/5(2014) Page Start: 429 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗