111. Contractibility for open global constraints. Issue 4 (27th June 2017) Authors: MAHER, MICHAEL J. Journal: Theory and practice of logic programming Issue: Volume 17:Issue 4(2017) Page Start: 365 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
112. Control-Flow Refinement by Partial Evaluation, and its Application to Termination and Cost Analysis. Issue 5 (September 2019) Authors: DOMÉNECH, JESÚS J.; GALLAGHER, JOHN P.; GENAIM, SAMIR Journal: Theory and practice of logic programming Issue: Volume 19:Issue 5/6(2019) Page Start: 990 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
113. CoreALMlib: An $\mathscr{ALM}$ library translated from the Component Library. Issue 5 (14th October 2016) Authors: INCLEZAN, DANIELA Editors: Carro, Manuel; King, Andy Journal: Theory and practice of logic programming Issue: Volume 16:Issue 5/6(2016) Page Start: 800 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
114. DaRLing: A Datalog rewriter for OWL 2 RL ontological reasoning under SPARQL queries. Issue 6 (November 2020) Authors: FIORENTINO, ALESSIO; ZANGARI, JESSICA; MANNA, MARCO Journal: Theory and practice of logic programming Issue: Volume 20:Issue 6(2020) Page Start: 958 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
115. Debugging Non-ground ASP Programs: Technique and Graphical Tools. Issue 2 (15th February 2019) Authors: DODARO, CARMINE; GASTEIGER, PHILIP; REALE, KRISTIAN; RICCA, FRANCESCO; SCHEKOTIHIN, KONSTANTIN Editors: Schulz, Claudia; Ellmauthaler, Stefan Journal: Theory and practice of logic programming Issue: Volume 19:Issue 2(2019) Page Start: 290 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
116. Decidability of the Clark's completion semantics for monadic programs and queries. Issue 3 (16th December 2014) Authors: HAYKAZYAN, LEVON Journal: Theory and practice of logic programming Issue: Volume 15:Issue 3(2015) Page Start: 402 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
117. Default rules for Curry*. Issue 2 (1st July 2016) Authors: ANTOY, SERGIO; HANUS, MICHAEL Journal: Theory and practice of logic programming Issue: Volume 17:Issue 2(2017) Page Start: 121 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
118. Deriving conclusions from non-monotonic cause-effect relations*. Issue 5 (14th October 2016) Authors: FANDINNO, JORGE Editors: Carro, Manuel; King, Andy Journal: Theory and practice of logic programming Issue: Volume 16:Issue 5/6(2016) Page Start: 670 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
119. Description and Optimization of Abstract Machines in a Dialect of Prolog*. Issue 1 (5th January 2015) Authors: MORALES, JOSÉ F.; CARRO, MANUEL; HERMENEGILDO, MANUEL Journal: Theory and practice of logic programming Issue: Volume 16:Issue 1(2016) Page Start: 1 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
120. Description, Implementation, and Evaluation of a Generic Design for Tabled CLP. Issue 3 (18th January 2019) Authors: ARIAS, JOAQUÍN; CARRO, MANUEL Journal: Theory and practice of logic programming Issue: Volume 19:Issue 3(2019) Page Start: 412 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗