K. H. Blasius

• Sorts and Types in Artificial Intelligence: Workshop, Eringerfeld, Frg, April 24-26, 1989