Cohl, H.
, McClain, M.
, Saunders, B.
, Schubotz, M.
and Williams, J.
(2014),
Digital Repository of Mathematical Formulae, Lecture Notes in Artificial Intelligence, Coimbra, -1, [online], https://doi.org/10.1007/978-3-319-08434-3_30
(Accessed October 10, 2024)