APA (7th ed.) Citation

Birštunas, A. (2021). Logical derivation search with assumption traceability. Vilniaus Universitetas.

Chicago Style (17th ed.) Citation

Birštunas, Adomas. Logical Derivation Search with Assumption Traceability. Vilniaus Universitetas, 2021.

MLA (9th ed.) Citation

Birštunas, Adomas. Logical Derivation Search with Assumption Traceability. Vilniaus Universitetas, 2021.

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