Efficiently Retrieving Function Dependencies in the Linux Kernel using XSB
Spyros Hadjichristodoulou, <a href="http://www.cs.stonybrook.edu/~porter/"> Donald E. Porter, and David S. Warren
(<a href="http://www.cs.stonybrook.edu/~porter/pubs/kerfdep.pdf">PDF)
In Proceedings of the <a href="http://clip.dia.fi.upm.es/Conferences/WLPE13/"> 23rd Workshop on Logic-based methods in Programming Environments (WLPE ‘13), Istanbul, Turkey, August 2013.