21. Optimizing phylogenetic supertrees using answer set programming. Issue 4 (3rd September 2015) Authors: KOPONEN, LAURA; OIKARINEN, EMILIA; JANHUNEN, TOMI; SÄILÄ, LAURA Editors: Eiter, Thomas; Toni, Francesca Journal: Theory and practice of logic programming Issue: Volume 15:Issue 4/5(2015) Page Start: 604 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
22. Planning as tabled logic programming. Issue 4 (3rd September 2015) Authors: ZHOU, NENG-FA; BARTÁK, ROMAN; DOVIER, AGOSTINO Editors: Eiter, Thomas; Toni, Francesca Journal: Theory and practice of logic programming Issue: Volume 15:Issue 4/5(2015) Page Start: 543 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
23. Practical run-time checking via unobtrusive property caching. Issue 4 (3rd September 2015) Authors: STULOVA, NATALIIA; MORALES, JOSÉ F.; HERMENEGILDO, MANUEL V. Editors: Eiter, Thomas; Toni, Francesca Journal: Theory and practice of logic programming Issue: Volume 15:Issue 4/5(2015) Page Start: 726 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
24. Proving correctness of imperative programs by linearizing constrained Horn clauses. Issue 4 (3rd September 2015) Authors: DE ANGELIS, EMANUELE; FIORAVANTI, FABIO; PETTOROSSI, ALBERTO; PROIETTI, MAURIZIO Editors: Eiter, Thomas; Toni, Francesca Journal: Theory and practice of logic programming Issue: Volume 15:Issue 4/5(2015) Page Start: 635 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
25. Rewriting recursive aggregates in answer set programming: back to monotonicity. Issue 4 (3rd September 2015) Authors: ALVIANO, MARIO; FABER, WOLFGANG; GEBSER, MARTIN Editors: Eiter, Thomas; Toni, Francesca Journal: Theory and practice of logic programming Issue: Volume 15:Issue 4/5(2015) Page Start: 559 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
26. Semantics of templates in a compositional framework for building logics. Issue 4 (3rd September 2015) Authors: DASSEVILLE, INGMAR; VAN DER HALLEN, MATTHIAS; JANSSENS, GERDA; DENECKER, MARC Editors: Eiter, Thomas; Toni, Francesca Journal: Theory and practice of logic programming Issue: Volume 15:Issue 4/5(2015) Page Start: 681 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
27. Surgical Treatment of Venous Malformations of the Knee: Treatment Outcomes for 35 Patients. Issue 6 (July 2018) Authors: Laurian, Claude; Masonni, Claudine; Wassef, Michel; Houdart, Emmanuel; Toni, Francesca; Marteau, Veronique; Paraskevas, Nikos; Lenck, Stephanie; Bisdorff, Annouk Journal: Journal of pediatric orthopaedics Issue: Volume 38:Issue 6(2018) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
28. Tabling as a library with delimited control. Issue 4 (3rd September 2015) Authors: DESOUTER, BENOIT; VAN DOOREN, MARKO; SCHRIJVERS, TOM Editors: Eiter, Thomas; Toni, Francesca Journal: Theory and practice of logic programming Issue: Volume 15:Issue 4/5(2015) Page Start: 419 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
29. Taming primary key violations to query large inconsistent data via ASP. Issue 4 (3rd September 2015) Authors: MANNA, MARCO; RICCA, FRANCESCO; TERRACINA, GIORGIO Editors: Eiter, Thomas; Toni, Francesca Journal: Theory and practice of logic programming Issue: Volume 15:Issue 4/5(2015) Page Start: 696 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
30. TLP volume 15 issue 4-5 Cover and Back matter. Issue 4 (3rd September 2015) Editors: Eiter, Thomas; Toni, Francesca Journal: Theory and practice of logic programming Issue: Volume 15:Issue 4/5(2015) Page Start: b1 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗