Bottom up logic programming as an inference tool | IEEE Conference Publication | IEEE Xplore