association_for_symbolic_logic publisher data searchable via API