APA (7th ed.) Citation

Miller, D., & Nadathur, G. Programing wiht higher order-logic.

Chicago Style (17th ed.) Citation

Miller, Dale, and Gopalan Nadathur. Programing Wiht Higher Order-logic.

MLA (8th ed.) Citation

Miller, Dale, and Gopalan Nadathur. Programing Wiht Higher Order-logic.

Warning: These citations may not always be 100% accurate.