Generic Programming for Domain Reasoners - Jeuring, J; aes, J; Heeren, B (Intellect, 2010)