The compilability framework

Intelligenza Artificiale

 @article{libe-scha-13,
 title = {The compilability framework},
 year = {2013},
 author = {Paolo Liberatore and Marco Schaerf},
 journal = {Intelligenza Artificiale},
 pages = {31-35},
 number = {1},
 volume = {7},
 }