XSB/examples/xmc/ABP
