Generation of smaller programs for efficient solution of Query-Answering problems | IEEE Conference Publication | IEEE Xplore