Chapter 1 Generic Programming for Domain Reasoners

by Johan Jeuring , José Pedro Magalhães , Bastiaan Heeren