MaRDI QIDQ128398CRANFDO
Authors Edwin De Jonge, Mark Van Der Loo
Last update 29 March 2021
Copyright license GNU General Public License, version 3.0
Software version identifier 1.0.0
This page was built for software: deductive
