984 citations · 1.7k across the 12 of their papers we have counts for
1 paper · 1 filter
Amelia Harrison, Vladimir Lifschitz, Julian Michael
The infinitary propositional logic of here-and-there is important for the theory of answer set programming in view of its relation to strongly equivalent transformations of logic p…