Bidirectional Answer Set Programs with Function Symbols

Open in new window