Maire, G., & Genet, T. (2025). Finding Regular Herbrand Models for CHCs using Answer Set Programming.
Style de citation Chicago (17e éd.)Maire, Gregoire, et Thomas Genet. Finding Regular Herbrand Models for CHCs Using Answer Set Programming. 2025.
Style de citation MLA (9e éd.)Maire, Gregoire, et Thomas Genet. Finding Regular Herbrand Models for CHCs Using Answer Set Programming. 2025.
Attention : ces citations peuvent ne pas être correctes à 100%.