Logic Programming for Software Engineering: A Second Chance. - Kung-Kiu Lau; Michel Vanden Bossche (ICLP, 2002)