Nieuwenborgh, Vermeir, 2003. Order and Negation as Failure, in: . Springer Berlin Heidelberg.. https://doi.org/10.1007/978-3-540-24599-5_14