Paul J. Voda. Computation of Full Logic Programs Using One-Variable Environments. New Generation Comput., 4(2):153-187, 1986.
@article{Voda86:0, title = {Computation of Full Logic Programs Using One-Variable Environments}, author = {Paul J. Voda}, year = {1986}, tags = {meta programming, logic programming, logic, Meta-Environment}, researchr = {https://researchr.org/publication/Voda86%3A0}, cites = {0}, citedby = {0}, journal = {New Generation Comput.}, volume = {4}, number = {2}, pages = {153-187}, }