Kortik, S. & Saranli, U. (2019) Robotic Task Planning Using a Backchaining Theorem Prover for Multiplicative Exponential First-Order Linear Logic. JOURNAL OF INTELLIGENT & ROBOTIC SYSTEMS , 96(2), 179-191.