Discrete-Time Temporal Reasoning with Horn DLRs. - Peter Jonsson; Tomas Lööw (IJCAI, 2011)

When Acyclicity Is Not Enough: Limitations of the Causal Graph. - Anders Jonsson 001; Peter Jonsson; Tomas Lööw (ICAPS, 2013)

Computational complexity of linear constraints over the integers. - Peter Jonsson; Tomas Lööw (Artif. Intell., 2013)

Limitations of acyclic causal graphs for planning. - Anders Jonsson 001; Peter Jonsson; Tomas Lööw (Artif. Intell., 2014)