Bry, F.2022-03-022022-03-021997https://publica.fraunhofer.de/handle/publica/132675WLP '97, Twelfth Workshop Logic Programming. Proceedings