A formal representation for plans in the programmer's apprentice

CAKE: an implemented hybrid knowledge representation and limited reasoning system

ACM SIGART Bulletin - Special issue on implemented knowledge representation and reasoning systems
Automatic high-quality reengineering of database programs by abstraction, transformation and reimplementation

ACM Transactions on Software Engineering and Methodology (TOSEM)
Knowledge-based code inspection with ICICLE

IAAI'92 Proceedings of the fourth conference on Innovative applications of artificial intelligence

Hi-index	0.00