@ARTICLE{AndOrLogicTPDS91, author = "B. Ramkumar and L.V. Kale", title = "Machine Independent {AND} and {OR} Parallel Execution of Logic Programs: {P}art {I and II}", journal = "IEEE Transactions on Parallel and Distributed Systems", volume = 5, number = 2, month = "Feb.", year = "1991", group = Y, }