Journal of automated reasoning 

 - Dordrecht:   Kluwer Academic Publishers,