APA (7th ed.) Citation

Akiba, S., & Sato, T. (2004). A Procedure to Calculate Logic Programs by Replacement with the Bodies of Rules and Transformation to Disjunctive Normal Forms. Transactions of the Japanese Society for Artificial Intelligence, 19(5), 413-420. https://doi.org/10.1527/tjsai.19.413

Chicago Style (17th ed.) Citation

Akiba, Sumitaka, and Taisuke Sato. "A Procedure to Calculate Logic Programs by Replacement with the Bodies of Rules and Transformation to Disjunctive Normal Forms." Transactions of the Japanese Society for Artificial Intelligence 19, no. 5 (2004): 413-420. https://doi.org/10.1527/tjsai.19.413.

MLA (9th ed.) Citation

Akiba, Sumitaka, and Taisuke Sato. "A Procedure to Calculate Logic Programs by Replacement with the Bodies of Rules and Transformation to Disjunctive Normal Forms." Transactions of the Japanese Society for Artificial Intelligence, vol. 19, no. 5, 2004, pp. 413-420, https://doi.org/10.1527/tjsai.19.413.