1. Apt, K.R.: From Logic to Logic Programming. Prentice Hall, London (1997)
2. Aquinas, T.: Summa theologica II-II, q. 64, art. 7, “of Killing”. In: Baumgarth, W.P., Regan, R. (eds.) On Law, Morality, and Politics, pp. 226–227. Hackett Publishing Co., Indianapolis (1988)
3. Awad, E., et al.: The moral machine experiment. Nature 563, 59–64 (2018)
4. Baader, F., Siekmann, J.: Unification theory. In: Gabbay, D.M., Hogger, C.J., Robinson, J.A. (eds.) Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 2, pp. 41–125. Oxford University Press (1994)
5. Banach, S.: Sur les opérations dans les ensembles abstraits et leur application aux équations intégrales. Fund. Math. 3, 133–181 (1922)