Logic Programming - Dahl, Véronica; Dahl, Veronica; Kanade, Takeo; Niemelä, Ilkka; Kittler, Josef; Neimela, Ilkka (Springer Berlin Heidelberg, 2007)
Keywords: Information Technology -- Computer Science (Hardware & Networks)