Kirschenbaum, Sterling, Jain, 1993. Relating logic programs via program maps.. https://doi.org/10.1007/bf01530791