def resolve(clause1, clause2):

    for literal in clause1:

        if '-' + literal in clause2:

            new_clause = set(clause1 + clause2)

            new_clause.remove(literal)
            new_clause.remove('-' + literal)

            return list(new_clause)

    return []

clause1 = ['A', 'B']
clause2 = ['-A', 'C']

result = resolve(clause1, clause2)

print("Resolved Clause:")
print(result)