1. Abdulaziz, M.: Cost optimal planning as satisfiability. CoRR abs/2103.02355 (2021). arxiv.org/abs/2103.02355
2. Babb, J., Lee, J.: Action language $$\cal{BC} $$+. J. Log. Comput. 30(4), 899–922 (2020). https://doi.org/10.1093/logcom/exv062
3. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);M Bartholomew,2014
4. Davies, T.O., Pearce, A.R., Stuckey, P.J., Lipovetzky, N.: Sequencing operator counts. In: Kambhampati, S. (ed.) Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, New York, NY, USA, 9–15 July 2016, pp. 4140–4144. IJCAI/AAAI Press (2016)
5. Dovier, A., Formisano, A., Pontelli, E.: An investigation of multi-agent planning in CLP. Fundam. Inform. 105(1–2), 79–103 (2010). https://doi.org/10.3233/FI-2010-359