APA (7th ed.) Citation

Reddy, U. S., Goos, G., Hartmanis, J., Carbonell, J. G., Siekmann, J., & Dyckhoff, R. (1994). Higher-order aspects of logic programming. Extensions of Logic Programming : 4th International Workshop, ELP '93 St Andrews, U.K., March 29–April 1, 1993 Proceedings, 798, 301. https://doi.org/10.1007/3-540-58025-5_63

Chicago Style (17th ed.) Citation

Reddy, Uday S., G. Goos, J. Hartmanis, J. G. Carbonell, J. Siekmann, and Roy Dyckhoff. "Higher-order Aspects of Logic Programming." Extensions of Logic Programming : 4th International Workshop, ELP '93 St Andrews, U.K., March 29–April 1, 1993 Proceedings 798 (1994): 301. https://doi.org/10.1007/3-540-58025-5_63.

MLA (9th ed.) Citation

Reddy, Uday S., et al. "Higher-order Aspects of Logic Programming." Extensions of Logic Programming : 4th International Workshop, ELP '93 St Andrews, U.K., March 29–April 1, 1993 Proceedings, vol. 798, 1994, p. 301, https://doi.org/10.1007/3-540-58025-5_63.