Glossar Abkürzungen / Thema
[2] Journal of Automated Reasoning (informationswissenschaftl. Veröffentlichungen)
[3] jar - Java Archive Tool (http://www.desy.de/cgi-bin/man-cgijar)
Permanenter Link JAR - Erstellungsdatum 2021-01-20