Open sPyOpenSource opened 5 years ago
https://www.doc.ic.ac.uk/~pg/publications/Ntzik2017Reasoning.pdf