Cited By
View all- Liu Y(2018)Logic programming applicationsDeclarative Logic Programming10.1145/3191315.3191326(519-548)Online publication date: 1-Sep-2018
- (2018)Declarative Logic ProgrammingundefinedOnline publication date: 1-Sep-2018
- Hawkins PRinard MAiken ASagiv MFisher K(2012)An introduction to data representation synthesisCommunications of the ACM10.1145/2380656.238067755:12(91-99)Online publication date: 1-Dec-2012
- Show More Cited By