Computer Science Logic 13th International Workshop, CSL'99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings Flum, Jörg Heftet / 1999 / Engelsk
Algebraic and Logic Programming 5th International Conference, ALP '96, Aachen, Germany, September 25 - 27, 1996. Proceedings Hanus Michael Heftet / 1996 / Engelsk
Algebraic and Logic Programming 4th International Conference, ALP '94, Madrid, Spain, September 14-16, 1994. Proceedings Levi Giorgio Heftet / 1994 / Engelsk
