“…NATO Advanced Study Institute on Computational Logic Marktoberdorf, Germany…”