1. Balduccini, M., Gelfond, M.: Diagnostic reasoning with A-Prolog. TPLP 3(4–5), 425–461 (2003)
2. Baral, C., Chancellor, K., Nam, T.H., Tran, N., Joy, A.M., Berens, M.E.: A knowledge based approach for representing and reasoning about signaling networks. In: Proceedings Twelfth International Conference on Intelligent Systems for Molecular Biology/Third European Conference on Computational Biology 2004, 31 July–4 August 2004, Glasgow, UK, pp. 15–22 (2004)
3. Baral, C., Gelfond, M.: Reasoning agents in dynamic domains. In: Minker, J. (ed.) Logic Based Artificial Intelligence, vol. 597, pp. 257–279. Springer, Boston (2000). https://doi.org/10.1007/978-1-4615-1567-8_12
4. Brik, A., Remmel, J.B.: Hybrid ASP. In: Gallagher, J.P., Gelfond, M. (eds.) ICLP (Technical Communications). LIPIcs, vol. 11, pp. 40–50. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (2011)
5. Brik, A., Remmel, J.B.: Computing a finite horizon optimal strategy using hybrid ASP. In: NMR (2012)