Yasdi, R.R.Yasdi2022-03-072022-03-071997https://publica.fraunhofer.de/handle/publica/289344en004005006Logic and programming in logicbook