Kirchner - Algebraic and Logic Programming Third International Confe - X555z

Grabowski - Algebraic and Logic Programming International Workshop - X555z

Levi - Algebraic and Logic Programming 4th International Conference - X555z

Eriksson - Extensions of Logic Programming Second International Work - X555z

Garlan - Coordination Languages and Models Second International Conf - X555z

Hanus - Algebraic and Logic Programming 5th International Conference - X555z

Hawblitzel - Certified Programs and Proofs Second International Conf - X555z

Gabrielli - Ambient Media and Systems Second International ICST Conf - X555z