Declarative Programming and Knowledge Management
Dietmar Seipel & Michael Hanus & Salvador Abreu & Randy Goebel & Yuzuru Tanaka & Wolfgang Wahlster & Joerg Siekmann (...)