Lyaletski, A. (2008, September). On Some Problems of Efficient Inference Search in First-Order Cut-Free Modal Sequent Calculi. Symbolic and Numeric Algorithms for Scientific Computing, Proceedings, 39-46. https://doi.org/10.1109/SYNASC.2008.92
Citácia podle Chicago (17th ed.)Lyaletski, A. "On Some Problems of Efficient Inference Search in First-Order Cut-Free Modal Sequent Calculi." Symbolic and Numeric Algorithms for Scientific Computing, Proceedings Sep. 2008: 39-46. https://doi.org/10.1109/SYNASC.2008.92.
Citácia podľa MLA (8th ed.)Lyaletski, A. "On Some Problems of Efficient Inference Search in First-Order Cut-Free Modal Sequent Calculi." Symbolic and Numeric Algorithms for Scientific Computing, Proceedings, Sep. 2008, pp. 39-46, https://doi.org/10.1109/SYNASC.2008.92.