@Article{ia,
	author = 	{G. Neumann},
	title = 	{Interpretational Abstraction},
	year = 	{1991},
	month = 	{January},
	category = 	{NM, logic programming, meta},
	ps = 	{http://nm.wu-wien.ac.at/research/publications/ia.ps},
	pdf = 	{http://nm.wu-wien.ac.at/research/publications/ia.pdf},
	journal = 	{Computers and Mathematics with Applications},
	volume = 	{21},
	number = 	{8},
	citationIndex = 	{SCI},
}