TY  - RPRT
TI  - Efficiently Retrieving Function Dependencies in the Linux Kernel Using XSB
AU  - Spyros Hadjichristodoulou
AU  - Donald E. Porter
AU  - David S. Warren
PY  - 2013
UR  - https://arxiv.org/abs/1308.3938
ID  - 1308.3938
ER  -